#include <stdio.h>
#include <stdio.h> // HA.DUPLICATE: Duplicate header file 'stdio.h'.
namespace HA_DUPLICATE {

	int main(int argc, char* argv[]) {
		printf("argc=%d\n", argc);
		return 0;
	}

}